20 Years of Covert Channel Modeling and Analysis
نویسنده
چکیده
Covert channels emerged in mystery and departed in
منابع مشابه
طراحی و ارزیابی روش کدگذاری ترکیبی برای کانال پوششی زمانبندیدار در شبکه اینترنت
Covert channel means communicating information through covering of overt and authorized channel in a manner that existence of channel to be hidden. In network covert timing channels that use timing features of transmission packets to modulating covert information, the appropriate encoding schema is very important. In this paper, a hybrid encoding schema proposed through combining "the inter-pac...
متن کاملNew Constructive Approach to Covert Channel Modeling and Channel Capacity Estimation
In this paper, we examine general mechanisms that a covert channel may exploit and derive new minimum requirements for setting up a covert channel. We also propose a new classification of covert channels based on our analysis. Unlike the non-interference approaches, our approach is constructive, allowing the direct examination of system architectures at different abstraction levels for the pres...
متن کاملA Security Domain Model for Static Analysis and Verification of Software Programs
Unauthorized information flows can result from malicious software exploiting covert channels and overt flaws in access control design. To address this problem, we present a precise, formal definition for information flow that relies on control flow dependency tracing through program execution, and extends Dennings’ and follow-on classic work in secure information flow [7][19][27]. We describe a...
متن کاملModeling the Acquisition of Covert Contrast
This paper explores the learnability of covert contrasts (impressionistically homophonous categories that can be reliably distinguished at the phonetic level) through a series of model-based clustering simulations using human production data. Allowing the models to learn both the number and parameters of those categories provides a way to explore the potential stability of category structures. ...
متن کاملInformation-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
Appeared in P. Degano et al. (Ed.): Preproceedings of FAST 2008; c © Springer-Verlag (to be transferred) Abstract. We present a formal model for analyzing the bandwidth of covert channels. The focus is on channels that exploit interrupt-driven communication, which have been shown to pose a serious threat in practical experiments. Our work builds on our earlier model [1], which we used to compar...
متن کامل